((0)<5>(6))
